Do not leak devices list in do_focus_change

diff --git a/gtk/gtkwindow.c b/gtk/gtkwindow.c
index 41724a880d6545a193617d5d5d1c579298ed71d5..e09d73063867ab09a6523a839921d9e002b90a9d 100644 (file)
--- a/gtk/gtkwindow.c
+++ b/gtk/gtkwindow.c
@@ -5334,6 +5334,8 @@ do_focus_change (GtkWidget *widget,
 
       gdk_event_free (fevent);
     }
+
+  g_list_free (devices);
 }
 
 static gint